منابع مشابه
Reasoning about Spatial Consistency
The consistency of spatial descriptions is relevant to tasks ranging from navigation to architecture. In contrast to studies of deduction in which a conclusion is drawn from premises, there have been only a few investigations into how human reasoners decide whether or not a description is consistent. We report results corroborating the theory that reasoners make such judgments usually relying o...
متن کاملIllusions in reasoning about consistency.
Reasoners succumb to predictable illusions in evaluating whether sets of assertions are consistent. We report two studies of this computationally intractable task of "satisfiability." The results show that as the number of possibilities compatible with the assertions increases, the difficulty of the task increases, and that reasoners represent what is true according to assertions, not what is f...
متن کاملPoppers: legal highs with questionable contents? A case series of poppers maculopathy.
BACKGROUND Poppers are volatile alkyl nitrite compounds that are inhaled to enhance sexual experience and for their psychoactive effects. A less well-known side effect is foveal maculopathy, which has emerged following changes in their chemical composition. It is unclear if certain individuals are more susceptible to retinal damage or if there is a relationship between pattern of inhalation and...
متن کاملCompleteness and Consistency of the System Requirement Specification
Although the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily va...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Felsefe Arkivi - Archives of Philosophy
سال: 2019
ISSN: 0378-2816,2667-7644
DOI: 10.26650/arcp2019-5103